Aplicando restricciones en un datawarehouse temporal utilizando UML/OCL

Un datawarehouse es una colección de datos no volátiles, variables en el tiempo y orientado a un tema específico utilizado para tomar decisiones. La necesidad de registrar valores que permitan evaluar tendencias, variaciones, máximos y mínimos, justifican considerar en el diseño la evolución temporal de atributos o interrelaciones. La determinación de restricciones que permitan mantener la consistencia de los datos almacenados e impidan los solapamientos de rangos temporales, permiten conservar la integridad de la base de datos. En la etapa de modelado la determinación de estas restricciones se realizan de manera informal.\nEstablecer sin ambigüedad las mismas no es posible sin un lenguaje apropiado.\nProponemos determinar restricciones en el modelo de datos transformando el esquema multidimensional temporal a UML y emplear OCL para documentar dichas limitaciones.Eje: Ingeniería de Software y Bases de Datos (ISBD

Applying MDE tools to defining domain specific languages for model management

In the model driven engineering (MDE), modeling languages play a central role. They range from the most generic languages such as UML, to more individual ones, called domain-specific modeling languages (DSML). These languages are used to create and manage models and must accompany them throughout their life cycle and evolution. In this paper we propose a domain-specific language for model management, to facilitate the user's task, developed with techniques and tools used in the MDE paradigm.Fil: Pérez, Gabriela. Universidad Nacional de la Plata. Facultad de Informática. Laboratorio de Investigación y Formación en Informática Avanzada; ArgentinaFil: Irazábal, Jerónimo. Universidad Nacional de la Plata. Facultad de Informática. Laboratorio de Investigación y Formación en Informática Avanzada; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Pons, Claudia Fabiana. Universidad Nacional de la Plata. Facultad de Informática. Laboratorio de Investigación y Formación en Informática Avanzada; Argentina. Provincia de Buenos Aires. Gobernación. Comisión de Investigaciones Científicas; ArgentinaFil: Giandini, Roxana Silvia. Universidad Nacional de la Plata. Facultad de Informática. Laboratorio de Investigación y Formación en Informática Avanzada; Argentin

Una propuesta de marco de trabajo orientado al dominio del procesamiento transaccional

La ingeniería de software establece que la construcción de programas debe ser encarado de la misma forma que los ingenieros construyen otros sistemas complejos. Los sistemas de procesamiento transaccional no son la excepción. Para lidiar con algunos de los desafíos de construir estas soluciones, se desarrolló una propuesta de marco de trabajo, que propone la construcción de una base de conceptos comunes, obtenidos del análisis de soluciones preexistentes, y de experiencias del equipo que desarrolla esta propuesta. Esta recolección de factores comunes se hace de forma iterativa, y se capitaliza en elementos del framework que aquí se introduce. Ese marco de trabajo tendrá como objetivos aumentar la reusabilidad, disminuir los costos de mantenimiento, y fomentar la comunicación entre los desarrolladores. Para tal fin, se pretende implementar una metodología MDD (DSM) que permita facilitar el uso del marco de trabajo a otros usuarios ajenos al desarrollo de esta propuesta. La implementación específica DSM será a través de un lenguaje de dominio específico que concentre en elementos de dominio, la experiencia concentrada en el framework.Eje: Ingeniería de Softwar

Low cost computer based system for quality evaluation and preservation of grains stored in silobags

Grain growers in Latin America are concerned on how to ensure the quality and safety of the storage method for their crops. This concern is derived from the fact that the storage conditions strongly influence both the quality of the food that people consume and the profits that growers can obtain from their production.\nTo preserve the quality of the grains, the storage strategy must fulfill several requirements e.g. to protect grains against bad weather, to diminish the badly effect produced by insects and microorganisms and to maintain for the longer time as possible the initial quality conditions in which grains have been received.\nIn addition to those requirements, in the last years, some factors have leaded the growers, specially small and medium ones, to develop ad-hoc strategies for the storage and quality assurance of their grains. For example, most small farmers cannot afford the cost of traditional storage methods (such as galvanized silos), there is an insufficiency (and in some cases an absence) of suitable routes or railroads to send out the production to the storage places, the market conditions are subjected to significant variations that make it more convenient for farmers to sell their crop not close to harvest time.\nIn this context, we observe a great expansion in Argentina, Uruguay and Chile of an ad-hoc low-cost storage technique named “harvest bags” that consists in keeping the grains into hermetic polyethylene bags which are stored in the same field of crop (on-farm). The term “harvest bags” is colloquial and other terms are often used, e.g. “silobags”. In Argentina the most common term is “silobolsas”.Eje: Innovación en Sistemas de Softwar

Una teoría dinámica orientada a objetos como fundamento formal para el proceso de desarrollo de software basado en modelos

La primera etapa del trabajo consistió en el análisis de las diferentes técnicas de modelado orientado a objetos y su influencia sobre el proceso de desarrollo de software basado en modelos. Este análisis nos condujo a reconocer las claras ventajas que ofrece la integración de técnicas de modelado formales con técnicas no formales aceptadas y usadas por los ingenieros de software típicos.\nEl siguiente paso consistió en estudiar las propuestas existentes acerca de cómo efectivizar la mencionada integración, con el objetivo de identificar aspectos potencialmente mejorables.\nFinalmente y como consecuencia del análisis previo, definimos una nueva propuesta de integración la cual aporta los beneficios esperados para un método de integración standard pero además incorpora ciertas características que no han sido cubiertas satisfactoriamente por las propuestas anteriores, tales como evolución, reusabilidad y métricas de modelos. Además nuestra propuesta se basa en una estructura formal de primer orden que, en contraste con las estructuras de orden superior, facilita los procedimientos para calcular la validez de las fórmulas.\nLa parte restante de esta tesis está organizada de la siguiente forma:\nEn los capítulos 2 y 3 describimos detalladamente un lenguaje gráfico de especificación (UML) y un lenguaje formal (Lógica Dinámica) respectivamente. En el capítulo 4 discutimos las distintas propuestas para lograr la integración de ambas técnicas. En el capítulo 5 presentamos nuestra propuesta: la M&D-theory. El capítulo 6 contiene ejemplos de los principales beneficios standard provistos por la M&D-theory. En los capítulos 7, 8 y 9 demostramos la utilidad de nuestra formalización para expresar evolución de modelos, métricas de calidad y temas de reuso tales como contratos y patrones de diseño. Finalmente el capítulo 10 contiene conclusiones, reflexiones y comentarios acerca del trabajo presentado.Doctor en Ciencias Exactas, orientación Informátic

Una experiencia de vinculación universidad-industria: sistemas de monitoreo inteligente y ubicuo silobolsas

En este artículo describimos un caso exitoso de vinculación entre la Universidad y la industria. Se trata de un proyecto en el cual hemos desarrollado una infraestructura para la construcción de sistemas computacionales inalámbricos de bajo costo que permiten monitorear y adaptar las condiciones internas del grano almacenado en silobags (humedad, temperatura, PH, O2, CO2, etc.), con el fin de mejorar su estado de conservación. En particular, hemos definido un lenguaje gráfico de alto nivel que permite especificar la configuración específica del sistema de monitoreo. Luego el código ejecutable es derivado automáticamente, dando origen a toda una familia de sistemas dentro del citado dominio de aplicación. Paralelamente hemos desarrollado el hardware que da soporte al sistema, integrado por sensores especializados y tecnología web. Durante su desarrollo este proyecto recibió apoyo por parte de le empresa de software Microsoft® y sus resultados fueron parcialmente adoptados por una empresa local

Formalizing the software development process

Object-oriented software development process, such as the Unified Process [Jacobson 99], Catalysis [D´Souza 98] and Fusion [Coleman 94] among others, is a set of activities needed to transform user’s requirements into a software system. A software development process typically consists of a set of software development artifacts together with a graph of tasks and activities. Software artifacts are the products resulting from software development, for example, a use case model, a class model or source code. Tasks are small behavioral units that usually results in a software artifact. Examples of tasks are construction of a use case model, construction of a class model and writing code. Activities (or workflows) are units that are larger than a task. Activities generally include several tasks and software artifacts. Examples of activities are requirements, analysis, design and implementation.\nModern software development processes are iterative and incremental, they repeat over a series of iterations making up the life cycle of a system. Each iteration takes place over time and it consists of one pass through the requirements, analysis, design, implementation and test activities, building a number of different artifacts. All these artifacts are not independent. They are related to each other, they are semantically overlapping and together represent the system as a whole. Elements in one artifact have trace dependencies to other artifacts.\nFor instance, a use case (in the use-case model) can be traced to a collaboration (in the design model) representing its realization.Eje: Ingeniería del Softwar

Model evolution and system evolution

In this paper we define an evolution mechanism with formal semantics using the metamodeling methodology [Geisler et al.98] based on dynamic logic. A remarkable feature of the metamodeling methodology is the ability to define the relation of intentional and extensional entities within one level, allowing not only for the description of structural relations among the modeling entities, but also for a formal definition of structural\nconstraints and dynamic semantics of the modeled entities. While dynamic semantics on the extensional level means run-time behavior, dynamic semantics on intentional level describes model evolution in the system life cycle

Usando ATL en la transformación de modelos multidimensionales temporales

Model-Driven Architecture (MDA) is a widely accepted approach to the complex software systems design. MDA\nproposes the use of models in every software development phase, from specification and analysis to implementation.\nModel transformation is the foundation of MDA, starting from a platform independent model, the aim is to achieve\nmore specific models, in each step. According to this philosophy we present a temporal multidimensional design\nmethodology which allows us to define concepts independently of any implementation issue. In the present work our\naim is using ATL (Atlas Trasformation Language) to define both the metamodel and the transformation rules for\nproviding a framework to derive a relational logical schema from an abstract temporal data model. Additionally we\nare designing an Eclipse plug-in for implementing the transformation.Model-Driven Architecture (MDA) es un enfoque ampliamente aceptado para el desarrollo de sistemas de software complejos. MDA propone el uso de modelos en todas las fases de desarrollo, desde la especificación y análisis hasta la implementación. La transformación de modelos es la base de MDA; comenzando por un modelo independiente de la plataforma el objetivo es lograr, en cada paso, modelos más específicos. Adhiriendo a esta filosofía, presentamos una metodología para el diseño de un datawarehouse temporal que permite definir los conceptos independientemente de la implementación. En el presente trabajo, nuestro propósito consiste en la definición de metamodelos y reglas de transformación usando ATL (Atlas Trasformation Language) que provean un marco para la derivación de un esquema lógico relacional a partir de un modelo de datos conceptual temporal. Además, estamos diseñando un plug-in en Eclipse para implementar dicha transformación.IV Workshop de Ingeniería de Software y Base de Dato

Formalizing relations between use cases in the unified modeling language

The Unified Modeling Language (UML) is a semi-formal graphical language that has been accepted as standard to model object-oriented software systems. This language defines various kinds of diagrams that are used to describe different aspects or views of a system. In particular, Use Cases diagrams are used to capture the requirements of the systems and to guide their development process. The different Use Cases defined throughout a development process are not independent but it is possible to set relations between them. The main relations considered by UML are the following: Generalization, Include and Extend. These relations as well as the remaining UML constructs are semi-formally defined, giving place to ambiguous interpretations and inconsistencies.\nThis paper presents a formalization that gives precision to the definition of the main relations between Use Cases. This formalization will allow us to check consistency when incrementing the Use Cases model during the software development process and when relating Use Cases model with others modelsÁrea: Informática Teórica - Inteligencia Artificial - Lenguajes - Compiladore